ST Engineering - PDFSEARCH.IO - Document Search Engine

ST Engineering
Results: 2740

#	Item
971	Languages as Libraries Sam Tobin-Hochstadt Vincent St-Amour Ryan Culpepper Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-01-16 15:37:27 Functional languages Type theory Source code Lisp programming language Racket Macro Programming language Type safety Type system Software engineering Computing Computer programming
972	Ivor, a Proof Engine Edwin Brady School of Computer Science, University of St Andrews, St Andrews, Scotland. Email: [removed]. Tel: +[removed], Fax: +[removed] Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2007-02-05 08:12:08 Functional languages Type theory Lambda calculus Logic in computer science Functional programming Combinatory logic Fixed-point combinator Dependent type Monad Software engineering Declarative programming Theoretical computer science
973	ZU064-05-FPR impldtp 15 September 2013 Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2013-09-15 12:12:41 Programming language theory Data types Functional programming Dependently typed programming Logic in computer science Lambda calculus System F Type system Curry–Howard correspondence Software engineering Computing Type theory
974	From St Paul’s to the Tate Modern; Overcoming Problems in Monitoring Bridge Deflections Using GPS Gethin ROBERTS, Xiaolin MENG and Chris BROWN, United Kingdom Key words: Structural deformation, deflection, GPS, acceler Add to Reading List Source URL: www.fig.net Language: English - Date: 2010-11-10 07:57:00 Structural engineering Satellite navigation systems Navigation Geotechnical engineering Global Positioning System Deformation monitoring Surveying Bridge Accelerometer Technology Geodesy Engineering
975	Press release P3298I STMicroelectronics Reveals Climate-Saving Power Devices with High-Temperature Performance Edge ST is among first to commercialize silicon-carbide power MOSFETs, and achieves Add to Reading List Source URL: hugin.info Language: English - Date: 2014-03-12 08:40:23 Power electronics Semiconductor devices Power MOSFET Power semiconductor device Silicon carbide Transistor MOSFET Insulated gate bipolar transistor Light-emitting diode Electronic engineering Electronics Electromagnetism
976	Evaluating the Performance of OO Network Programming Toolkits Timothy H. Harrison and Douglas C. Schmidt [removed] and [removed] Department of Computer Science Washington University St. Louis, MO 6 Add to Reading List Source URL: www.cs.wustl.edu Language: English - Date: 1998-11-19 15:42:54 Concurrent computing Common Object Request Broker Architecture Object request broker Orbix Ttcp Transmission Control Protocol Throughput Interface description language IONA Technologies CORBA Computing Software engineering
977	luna’s living kitchen b re a kfa st s e r ve d 8 a m to 11a m breakfast juices Add to Reading List Source URL: www.lunaslivingkitchen.com Language: English - Date: 2014-09-28 22:23:35 Software engineering Obfuscated code Obfuscation Source code Classical cipher Computer programming Latin alphabets Computing
978	Integrated Defense Systems BOEING FRONTIERS St. Louis group resolves issues to ensure quality of military aircraft By K athy Cook T Add to Reading List Source URL: www.boeing.com Language: English - Date: 2008-09-30 12:19:55 Aerospace engineering Flight test Product testing Boeing Fixed-wing aircraft Flight engineer Aviation Transport Air safety
979	QUALITY. SERVICE. COMMITMENT. Delivering Customer Value. As owner and operator of Diesel Engine Sales Company in St. Add to Reading List Source URL: www.ringhaver.com Language: English - Date: 2014-11-17 09:24:34 Ring Power Caterpillar Inc. Heavy equipment Crane Material handling equipment Renting Aerial work platform Distribution center Gas compressor Technology Transport Engineering vehicles
980	City of St. Petersburg Planning & Economic Development Department Construction Services & Permitting Current Codes Add to Reading List Source URL: www.stpete.org Language: English - Date: 2012-09-04 10:45:55 Fire suppression Electrical engineering Building engineering Life Safety Code NFPA 72 Pinellas County Florida Fire sprinkler National Electrical Code St. Petersburg Florida Safety Firefighting in the United States Active fire protection

UPDATE